basic
\\[0ex]Dist1op2opLR($A$;${\it 1op}$;${\it 2op}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$u$:$A$, $v$:$A$. ${\it 1op}$($u$ ${\it 2op}$ $v$) = ((${\it 1op}$($u$)) ${\it 2op}$ $v$) $\in$ $A$ \& ${\it 1op}$($u$ ${\it 2op}$ $v$) = ($u$ ${\it 2op}$ (${\it 1op}$($v$))) $\in$ $A$